third proportional of 9 and 15